SoK: Making Sense of Censorship Resistance Systems That CRS SoK paper at PETS Sheharbano Khattak1, Tariq Elahi2, Laurent Simon1, Colleen M. Swanson3, Steven J. Murdoch4, Ian Goldberg5 1: University of Cambridge, 2: KU Le

Source URL: sheharbano.com

• Compagnies Rpublicaines de Scurit
• National Police

Synthesizing Ranking Functions from Bits and Pieces? Caterina Urban1,2 , Arie Gurfinkel2 , and Temesghen Kahsai2,3 1 ETH Z¨

Source URL: seahorn.github.io

• Mathematics
• Infinite loop
• Recursion
• Function
• Computability theory
• Computing

Key Recovery Attack against 2.5-round π-Cipher Christina Boura1 , Avik Chakraborti2 , Ga¨etan Leurent3 , Goutam Paul2 , Dhiman Saha4 , Hadi Soleimany5,6 and Valentin Suder7 1 6

Source URL: who.rocq.inria.fr

• Cryptography
• Block cipher modes of operation
• Message authentication codes
• Galois/Counter Mode
• Cipher
• Cryptographic hash functions
• Block cipher
• Stream cipher

TribeFlow: Mining & Predicting User Trajectories Flavio Figueiredo1,2 , Bruno Ribeiro4,5 , Jussara Almeida3 , Christos Faloutsos5 1 UFCG - Brazil,

Source URL: gdac.uqam.ca

Frequency Estimation of Virtual Call Targets for Object-Oriented Programs Cheng Zhang1 , Hao Xu2, , Sai Zhang3 , Jianjun Zhao1,2 , and Yuting Chen2 1 Department of Computer Science and Engineering, Shanghai Jiao Tong U

Source URL: zhang-sai.github.io

• Software engineering
• Computing
• Computer programming
• Object-oriented programming
• Method
• High-level programming languages
• Functional languages
• Programming languages
• Inheritance
• Method overriding
• Factory
• Polymorphism

The Sum Can Be Weaker Than Each Part? Ga¨etan Leurent1 and Lei Wang2 1 2

Source URL: who.rocq.inria.fr

• Cryptography
• Cryptographic hash functions
• SHA-2
• Preimage attack
• SHA-1
• MD5
• HMAC
• Collision attack
• Hash function
• Collision resistance
• Birthday attack
• RIPEMD

Exploiting sparsity in difference-bound matrices Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2

Source URL: seahorn.github.io

• Mathematics
• Abstract algebra
• Mathematical analysis
• Graph
• Graph theory
• Partial derivative
• Valuation
• Representation
• Voltage graph
• operator

Hiding Transaction Amounts and Balances in Bitcoin Elli Androulaki1 and Ghassan O. Karame2 1 2

Source URL: pdfs.semanticscholar.org

• Cryptocurrencies
• Alternative currencies
• Bitcoin
• Exonumia
• Numismatics
• Currency
• Digital currencies
• Zerocoin protocol
• Mt. Gox
• Accumulator
• Blockchain

Tagesmenu 1. Nationale und internationale Regulierungsbestrebungen 2.

Source URL: www.vqf.ch

Scalable Fine-Grained Proofs for Formula Processing Haniel Barbosa1,2(B) , Jasmin Christian Blanchette3,1,4 , and Pascal Fontaine1 1 Université de Lorraine, CNRS, Inria, LORIA, Nancy, France

Source URL: pxtp.github.io

• Mathematical logic
• Logic
• Mathematics
• Predicate logic
• Computability theory
• Models of computation
• First-order logic
• Lambda calculus
• Term
• Quantifier
• Natural deduction
• CurryHoward correspondence